CHECK RELATION IS REFLEXIVE OR SYMMETRIC OR TRANSITIVE